Atom structures

نویسنده

  • Yde Venema
چکیده

The atom structure of an atomic boolean algebra with operators is some canonically defined frame or relational structure that is based on the set of atoms of the algebra. We discuss the relation between varieties of boolean algebras with operators and the induced class of atom structures. Our main result states that for a variety V of boolean algebras with conjugated operators, the corresponding class At V of atom structures is elementary; moreover, an (infinite) axiomatization of At V can be generated from the equations defining V.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Nitrogen atom effect on structural and magnetic properties of Fullerene C20:A DFT study

The fullerene structures of C20cage and bowl,C20H10 and their N-doped structures as C20cage NH,C20bowl NH, C20H10NH, C20H10N and their isomers are optimized using the MPW1PW91/6-31G level of the theory. Magnetic shielding tensors of 14N and 13C atoms are calculated by the same level of the theory. Results show that doping an N atom on fullerenes affects differently on the chemical shielding of ...

متن کامل

The Nitrogen atom effect on structural and magnetic properties of Fullerene C20:A DFT study

The fullerene structures of C20cage and bowl,C20H10 and their N-doped structures as C20cage NH,C20bowl NH, C20H10NH, C20H10N and their isomers are optimized using the MPW1PW91/6-31G level of the theory. Magnetic shielding tensors of 14N and 13C atoms are calculated by the same level of the theory. Results show that doping an N atom on fullerenes affects differently on the chemical shielding of ...

متن کامل

Hydrogen Adsorption on (5,0) and (3,3) Na-decorated BNNTs

The storage capacity of hydrogen on Na-decorated born nitride nanotubes (BNNTs) is investigated by using density functional theory within Quantum Espresso and Gaussian 09. The results obtained predict that a single Na atom tends to occupy above the central region of the hexagonal rings in (5,0) and (3,3) BNNT structures with a binding energy of -2.67 and -4.28 eV/Na-atom respectively. When a si...

متن کامل

Theoretical Study of OH Adsorption on ‎PdxCu3-x (x = 0-3) Nano Clusters‎

   Adsorption of OH on the PdxCu3-x(x=0-3) small clusters is investigated by density functional theory calculations. It is found that OH adsorbs in three possible modes including on top, bridge and hollow sites while the structures where OH bridges between two atoms are the most stable structures. The Pd-Pd, Pd-Cu and Cu-Cu equilibrium distances for most of the systems...

متن کامل

Modelface: an application programming interface (API) for homology modeling studies using Modeller software

An interactive application, Modelface, was presented for Modeller software based on windows platform. The application is able to run all steps of homology modeling including pdb to fasta generation, running clustal, model building and loop refinement. Other modules of modeler including energy calculation, energy minimization and the ability to make single point mutations in the PDB structures a...

متن کامل

Modelface: an application programming interface (API) for homology modeling studies using Modeller software

An interactive application, Modelface, was presented for Modeller software based on windows platform. The application is able to run all steps of homology modeling including pdb to fasta generation, running clustal, model building and loop refinement. Other modules of modeler including energy calculation, energy minimization and the ability to make single point mutations in the PDB structures a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997